#include<stdio.h>
int main()
{
    int count=1,n,i=1;
    scanf("%d",&n);
    for(;i<=n;i++)
    {
        count+=i;
    }
    printf("%d",count);
    return 0;
}